A sequent- or tableau-style system for Lewis's counterfactual logic VCGENT, I. P.Notre Dame journal of formal logic. 1992, Vol 33, Num 3, pp 369-382, issn 0029-4527Article

The logic of search algorithms : Theory and applicationsGENT, I. P; UNDERWOOD, J. L.Lecture notes in computer science. 1997, pp 77-91, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Asymptotic and finite size parameters for phase transitions : Hamiltonian circuit as a case studyFRANK, J; GENT, I. P; WALSH, T et al.Information processing letters. 1998, Vol 65, Num 5, pp 241-245, issn 0020-0190Article

CSP_LIB : A Benchmark library for constraintsGENT, I. P; WALSH, T.Lecture notes in computer science. 1999, pp 480-481, issn 0302-9743, isbn 3-540-66626-5Conference Paper

Search algorithms in type theoryCALDWELL, J. L; GENT, I. P; UNDERWOOD, J et al.Theoretical computer science. 2000, Vol 232, Num 1-2, pp 55-90, issn 0304-3975Article

The constrainedness of Arc consistencyGENT, I. P; MACINTYRE, E; PROSSER, P et al.Lecture notes in computer science. 1997, pp 327-340, issn 0302-9743, isbn 3-540-63753-2Conference Paper